Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
171	Doc No: N3328=Date: Project: JTC1Reply to: Niklas Gustafsson Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-12 10:29:28 Subroutines C++ Functional Fixed-point combinator Eval Void type Function Concepts Parameter Software engineering Computer programming Computing
172	The Physical Properties and Effective Temperature Scale of O-type Stars as a Function of Metallicity. II. Analysis of 20 More Magellanic Cloud Stars, and Results from the Complete Sample1,2 arXiv:astro-phv2 25 A Add to Reading List Source URL: www.usm.uni-muenchen.de Language: English - Date: 2005-10-27 10:17:40 Light sources Stellar evolution Dark matter Stellar classification Plasma physics Star Cosmic distance ladder Wolf–Rayet star Andromeda Galaxy Astronomy Star types Space
173	A generalization of F with abstraction Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:30:08 Object-oriented programming Polymorphism Subtype polymorphism Type theory Functions and mappings Function Mathematics Data types Software engineering
174	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
175	Prototype JavaScript LibraryUtility Methods String Enumerable Add to Reading List Source URL: snook.ca Language: English - Date: 2012-07-17 12:50:26 Search algorithms Mathematics Prototype JavaScript Framework Serialization Enumeration Hash function Array data type Trie Computing Ajax Software
176	Lq BOUNDS FOR SPECTRAL CLUSTERS HART F. SMITH Abstract. In these notes, we review recent results concerning the Lp norm bounds for spectral clusters on compact manifolds. The type of estimates we consider were first esta Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2009-07-01 18:14:43 Spectral theory Ordinary differential equations Operator theory Symbol Wave equation Fourier transform Eigenvalues and eigenvectors Sinc function Spectrum Mathematical analysis Algebra Mathematics
177	My-Com precision switches; Type A; B ; BS; C; F; E; with mech. break function; Cylindrical design M8x1; Rectangular design 8x12 mm; Activating force 30 gr/cN to 100 cN Add to Reading List Source URL: www.sal.wisc.edu Language: English - Date: 2009-01-07 12:26:52 Transistor Switch COM Brass Chemistry Technology Manufacturing Coatings Plating Thin film deposition
178	Delimited Continuations in CS and Linguistics1 Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) December 4, 2007 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-12-06 06:47:43 Computer programming Continuations Delimited continuation Continuation ALGOL 68 Type system Function Eval Software engineering Control flow Computing
179	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
180	A genetic algorithm for solving a class of multi-objective bilevel programming problems Shanfeng Zhang & Keqiang Li Department of Computer, **** University, Guangzhou, 810008, China Abstract Add to Reading List Source URL: icaesee.org Language: English** Science Multi-objective optimization Genetic algorithm Interpolation Algorithm Heuristic function Bilevel program LP-type problem Trajectory optimization Mathematical optimization Applied mathematics Mathematics

UPDATE